Inquisitive Semantics and Intermediate Logics
نویسنده
چکیده
Contents 1 An introduction to inquisitive semantics 1 1.1 Information states and the classical update perspective .
منابع مشابه
Inquisitive Semantics and Intermediate
To my schoolteacher Mauro, who taught me how to doubt i 1 An introduction to inquisitive semantics 1 1.1 Information states and the classical update perspective .
متن کاملStructural completeness in propositional logics of dependence
In this paper we prove that three of the main propositional logics of dependence are structurally complete with respect to a class of substitutions under which the logics are closed. As these logics are not structural, the notions of admissibility and structural completeness have to be considered relative to classes of substitutions with respect to which they are, as we do in this paper. Depend...
متن کاملTruth Values and Connectives in Some Non-Classical Logics
The question as to whether the propositional logic of Heyting, which was a formalization of Brouwer's intuitionistic logic, is finitely many valued or not, was open for a while (the question was asked by Hahn). Kurt Gödel (1932) introduced an infinite decreasing chain of intermediate logics, which are known nowadays as Gödel logics, for showing that the intuitionistic logic is not finitely (man...
متن کاملInquisitive bisimulation
Inquisitive modal logic InqML is a generalisation of standard Kripke-style modal logic. In its epistemic incarnation, it extends standard epistemic logic to capture not just the information that agents have, but also the questions that they are interested in. Technically, InqML fits within the family of logics based on team semantics. From a model-theoretic perspective, it takes us a step in th...
متن کاملA generalized inquisitive semantics.∗
In Inquisitive Semantics, formulas are evaluated on ordered pairs of indices; actually, the order of the pair is irrelevant, so these pairs could just just as well be taken to be non-empty sets of indices of cardinality at most two. This last restriction, however, sounds particularly unnatural, especially considering that the definition of inquisitive semantics can be easily reformulated in suc...
متن کامل